(assert =)
(check-sat)
